Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
881	Natural Language Parsing with GOLD and SWRL Graham Wilcock University of Helsinki We show that natural language parsing can be done with SWRL. Using GOLD, the Add to Reading List Source URL: www.ling.helsinki.fi Language: English - Date: 2006-09-29 15:58:04 Information Science Computing Knowledge representation Technical communication Semantic Web Rule Language Parsing Ontology Formal grammar Semantic Web Formal languages Compiler construction
882	Building the Minimal Automaton of AX in Linear Time, when X is of Bounded Cardinality Add to Reading List Source URL: www.cs.ucr.edu Language: English* - Date: 2010-08-20 17:45:56 Aho–Corasick string matching algorithm Mathematics Deterministic automaton Computer science Regular language Alphabet Models of computation Automata theory Formal languages Theoretical computer science
883	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Formal languages Logical syntax Boolean algebra Well-formed formula Logical connective FO Logic Mathematical logic Propositional calculus
884	Model-Checking Overview of Automated Verification SW/HW SW/HW artifact Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-06 13:57:58 Mathematical logic Formal languages Logical syntax Philosophy of language Interpretation Computation tree logic Well-formed formula Function Kripke structure Logic Mathematics Temporal logic
885	A sequence approach to linear perfect hash families∗ S. G. Barwick and Wen-Ai Jackson School of Pure Mathematics, University of Adelaide, Adelaide 5005, Australia May 12, 2006 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-05-12 17:59:13 Formal languages Algebra Dual space Linear algebra Interpretation Golden ratio base Linear temporal logic Mathematical analysis Mathematics Functional analysis
886	Chapter 1. SDF Disambiguation Medkit for Programming Languages Jurgen Vinju:08:57 +0200 (Fri, 19 OctTable of Contents Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-12-04 10:03:47 Programming language implementation Parsing Ambiguous grammar Context-free grammar ASF+SDF Meta Environment Formal grammar Left recursion Syntax Attribute grammar Formal languages Software engineering Computing
887	Smallest grammar by recompression Artur Je˙z Max Planck Institute for Informatics Grammar based-compression Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2013-07-09 04:01:18 Logarithms Formal languages
888	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Model theory Logical syntax Formal languages Metalogic Well-formed formula Logical connective FO First-order logic Propositional formula Logic Mathematical logic Mathematics
889	Syntax-Semantic Mapping for General Intelligence: Language Comprehension as Hypergraph Homomorphism, Language Generation as Constraint Satisfaction Ruiting Lian2,4 and Ben Goertzel2,3,4 and Shujing Ke1,2,4 and Jade O’N Add to Reading List Source URL: agi-conference.org Language: English - Date: 2012-12-09 07:33:50 Language Grammar OpenCog Compiler construction Formal languages Parsing Computational linguistics Link grammar Dependency grammar Linguistics Science Artificial intelligence

UPDATE